Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
891	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:26 Automated planning and scheduling STRIPS Heuristic function Logic programming Heuristic Macro Shortest path problem Search algorithm Computer programming Artificial intelligence Computing
892	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
893	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:25 Management Problem solving Mathematical optimization STRIPS Logic programming Planning Planner Vienna U-Bahn Genetic algorithm Artificial intelligence Automated planning and scheduling Neuropsychological assessment
894	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
895	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Programming paradigms Constraint programming Logic programming Data types Prolog Inference Type system Type inference Software engineering Computing Computer programming
896	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
897	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Constraint programming Problem solving Non-classical logic Automated planning and scheduling Constraint satisfaction problem Control theory Planning Modal logic Mind Logic Science Philosophical logic
898	PDF Document Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-07-02 04:07:05 Software optimization Application programming interfaces Message Passing Interface Electronic design automation Profiling Simulation Performance prediction CPU cache Logic simulation Computing Parallel computing Computer programming
899	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
900	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing

UPDATE